CP 04 Tutorial : Distributed Constraints Satisfaction Algorithms , Performance , Communication ?
نویسنده
چکیده
Distributed constraints satisfaction problems (DisCSPs) have been studied for over a decade. The first distributed search algorithm was asynchronous backtracking, which is still the most studied. In the last few years, several new families of distributed search algorithms have been investigated and comparative experimental studies are encouraging. A natural extension to distributed constraints satisfaction is distributed constraints optimization. Stochastic search algorithms for solving DisCSPs, such as Distributed Breakout, have appeared a few years ago. Distributed stochastic search algorithms are naturally suitable for solving distributed optimization. In contrast, asynchronous search algorithms for distributed optimization have been proposed in recent years. Due to the distributed nature of the problem, message delay can have unexpected effects on the behavior of algorithms on DisCSPs. This has been shown in an experimental study that induced random delays on messages sent among agents. In order to study the impact of message delays on DisCSP search, a model of delays in terms of concurrent performance measures is needed. Within such a model, the behavior of families of search algorithms in the presence of delays is varied and interesting. An important feature of the distribution of the problem among agents is their ability to maintain some privacy. Agents may not want to share their values with other agents, and they may wish to keep constraints as private as possible. Some recent work has resulted in versions of asynchronous backtracking that maintain both privacy of values and privacy of constraints. Other investigations of privacy in DisCSPs focused on the analysis of information gain by studying a welldefined problem, that of scheduling meetings of agents.
منابع مشابه
Asynchronous Inter-Level Forward-Checking for DisCSPs
We propose two new asynchronous algorithms for solving Distributed Constraint Satisfaction Problems (DisCSPs). The first algorithm, AFC-ng, is a nogood-based version of Asynchronous Forward Checking (AFC). The second algorithm, Asynchronous Inter-Level Forward-Checking (AILFC), is based on the AFC-ng algorithm and is performed on a pseudo-tree ordering of the constraint graph. AFC-ng and AILFC ...
متن کاملOpen Constraint Satisfaction
Traditionally, constraint satisfaction has been applied in closedworld scenarios, where all choices and constraints are known from the beginning and fixed. With the Internet, many of the traditional CSP applications in resource allocation, scheduling and planning pose themselves in open-world settings, where choices and constraints are to be discovered from different servers in a network. We ex...
متن کاملThe Impact of Wireless Communication on Distributed Constraint Satisfaction
Distributed constraint satisfaction (DisCSP) models decision problems where physically distributed agents control different decision variables, but must communicate with each other to agree on a global solution. Most DisCSP research assumes an abstract communication layer based on a peer-to-peer wired network. However, many practical applications of distributed reasoning require to be implement...
متن کاملThe Phase Transition in Distributed Constraint Satisfaction Problems: Fist Results
We examine the behavior of a distributed constraint satisfaction algorithm. More specifically, we measured the communication and computation costs of a distributed constraint satisfaction algorithm when varying the numbers of intra-agent constraints (constraints which are defined over variables of one agent) and inter-agent constraints (constraints which are defined over variables of multiple a...
متن کاملDistributed Partial Constraint Satisfaction Problem
Many problems in multi-agent systems can be described as Distributed Constraint Satisfaction Problems (Distributed CSPs), where the goal is to nd a set of assignments to variables that satis es all constraints among agents. However, when real-life application problems are formalized as Distributed CSPs, they are often over-constrained and have no solution that satis es all constraints. This pap...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004